Interval arithmetic - PDFSEARCH.IO - Document Search Engine

Interval arithmetic
Results: 138

#	Item
31	Vienna proposal for interval standardization Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-22 10:20:17 Mathematics Computer arithmetic Arithmetic Numerical analysis IEEE standards Interval arithmetic Interval Rounding 0.999... IEEE floating point NaN Global optimization
32	JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2015-10-06 03:32:12 Computer algebra Computer arithmetic Algebra Numerical analysis Polynomials Interval arithmetic Automatic differentiation Floating point Polynomial Remainder Symbolic computation Interval
33	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point
34	Introduction Bounds Rounding Errors Conclusion De l’arithm´etique d’intervalles `a la certification de programmes Guillaume Melquiond Sous la direction de Marc Daumas Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Computer arithmetic Numerical analysis Arithmetic Floating point Arithmetic underflow Rounding Interval arithmetic Precision Round-off error Significant figures
35	Motivations for an arbitrary precision interval arithmetic and the MPFI library N. Revol ()∗ ´ INRIA, Project Arenaire, LIP (CNRS/ENSL/INRIA/UCBL), Ecole Normale Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2005-01-20 08:54:54 Computer arithmetic GNU MPFR Interval arithmetic Floating point Rounding GNU Multiple Precision Arithmetic Library Precision Machine epsilon Arbitrary-precision arithmetic IEEE floating point Significant figures Interval
36	Improving interval enclosures Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria email: Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2015-07-18 03:53:37 Real analysis Order theory Numerical analysis Functions and mappings Functional analysis Monotonic function Interval arithmetic Limit of a function Convex function Interval Affine arithmetic Taylor series
37	IEEE Std P1788 IEEE Standard For Interval Arithmetic Draft 03.2 §4.8 Add to Reading List Source URL: grouper.ieee.org Language: English - Date: 2011-06-10 10:44:25 Mathematics Mathematical analysis Functions and mappings Numerical analysis Topology Arithmetic Computer arithmetic Interval Function Limit of a function Bounded function
38	CS 493: Algorithms for Massive Data Sets DATE : Thursday, Huffman and Arithmetic Coding Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2002-02-25 03:47:54 Coding theory Data compression Arithmetic coding Huffman coding Prefix code Code Entropy Interval Universal code ShannonFano coding
39	A Rigorous Extension of the Sch¨onhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic∗ Raazesh Sainudiin Laboratory for Mathematical Statistical Experiments & Department of Mathematics and Add to Reading List Source URL: www.math.canterbury.ac.nz Language: English - Date: 2013-09-15 00:25:08
40	Topological degree calculation based on interval arithmetic Add to Reading List Source URL: icms.org.uk Language: English - Date: 2012-07-10 10:30:31